Knihy od autora Ruzica Piskac

Zobrazeno 1 – 6 z 6 výsledků

1. 

   Verified Software. Theories, Tools, and Experiments

   Ruzica Piskac, Philipp Rümmer | Springer Nature Switzerland AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
2. 

   Computer Aided Verification

   Ruzica Piskac, Zvonimir Rakamaric | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1161 Kč

   Koupit
3. 

   Verification, Model Checking, and Abstract Interpretation

   Constantin Enea, Ruzica Piskac | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
4. 

   Computer Aided Verification

   Ruzica Piskac, Zvonimir Rakamaric | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1161 Kč

   Koupit
5. 

   Computer Aided Verification

   Ruzica Piskac, Zvonimir Rakamaric | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1161 Kč

   Koupit
6. 

   Computer Aided Verification

   Ruzica Piskac, Zvonimir Rakamaric | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1161 Kč

   Koupit

Výběr z milionů titulů vám jen tak někdo nenabídne. Zjistěte více